Profinite Homotopy Theory
نویسنده
چکیده
We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the étale homotopy theory of schemes in which higher profinite étale homotopy groups fit well with the étale fundamental group which is always profinite. We show that the profinite étale topological realization functor is a good object in several respects.
منابع مشابه
Continuous Homotopy Fixed Points for Lubin-tate Spectra
We provide a new and conceptually simplified construction of continuous homotopy fixed point spectra for Lubin-Tate spectra under the action of the extended Morava stabilizer group. Moreover, our new construction of a homotopy fixed point spectral sequence converging to the homotopy groups of the homotopy fixed points of Lubin-Tate spectra is isomorphic to an Adams spectral sequence converging ...
متن کاملContinuous Group Actions on Profinite Spaces
For a profinite group, we construct a model structure on profinite spaces with a continuous action. We construct descent spectral sequences for the homotopy groups of the homotopy fixed point space and for the homology of homotopy orbit space which are strongly convergent for an arbitrary profinite group. Our main example is the Galois action on profinite étale topological types of schemes over...
متن کاملAdditive and unstable algebra structures for the MU-cohomology of profinite
Let (MUn)n denote the Ω-spectra representing the cobordism cohomology theory. The coefficient ring MU∗ is the polynomial algebra over Z generated by elements xk of degree 2k, k ≥ 1. As we will consider spaces like map(CP,MUn) which already has infinite mod p cohomology group in each degree, we will use profinite completion and continuous cohomology. So we fix a prime number p and let Ŝ, respect...
متن کاملHomotopy fixed points for profinite groups emulate homotopy fixed points for discrete groups
If K is a discrete group and Z is a K-spectrum, then the homotopy fixed point spectrum Z is Map∗(EK+, Z) K , the fixed points of a familiar expression. Similarly, if G is a profinite group and X is a discrete G-spectrum, then X is often given by (HG,X), where HG,X is a certain explicit construction given by a homotopy limit in the category of discrete G-spectra. Thus, in each of two common equi...
متن کاملThe Homotopy Orbit Spectrum for Profinite Groups
Let G be a pro nite group. We de ne an S[[G]]-module to be a G-spectrum X that satis es certain conditions, and, given an S[[G]]-module X, we de ne the homotopy orbit spectrum XhG. When G is countably based and X satis es a certain niteness condition, we construct a homotopy orbit spectral sequence whose E2-term is the continuous homology of G with coefcients in the graded pro nite b Z[[G]]-mod...
متن کامل